Struct isotope::ast::ast::Pi [−][src]
pub struct Pi { pub param_name: Option<Option<SmolStr>>, pub param_ty: Arc<Expr>, pub result: Arc<Expr>, }
Expand description
A dependent function type
Fields
param_name: Option<Option<SmolStr>>
The parameter name of this dependent function type, if any
param_ty: Arc<Expr>
The parameter type of this dependent function type
result: Arc<Expr>
The result of this lambda function
Implementations
Trait Implementations
Auto Trait Implementations
Blanket Implementations
Mutably borrows from an owned value. Read more
Borrow an optional value of type T
Compare self to key
and return true
if they are equal.